<?php

  interface JooS_Server_Stream_Interface {
    public function stream_open($path, $mode, $options, &$opened_path);

    public function stream_read($count);

    public function stream_tell();

    public function stream_eof();

    public function stream_stat();

    public function url_stat($path, $flags);

    public function stream_seek($offset, $whence);
  }

?>